Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
251	PDF Document Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-11-01 10:18:07 OSI protocols XPath Proof theory Modal logic Mathematical logic EXist Computing XML Logic
252	Towards formal semantics for reorganization Virginia Dignum Frank Dignum Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-12-21 05:31:18 Number theory Partition Abstraction Modal logic Organizational behavior Agent-based model Organization Mathematics Logic Combinatorics
253	Citation: Webler, T., Danielson, S., & Tuler, SUsing Q method to reveal social perspectives in environmental research. Greenfield MA: Social and Environmental Research Institute. Downloaded from: http://www.ser Add to Reading List Source URL: seri-us.org Language: English - Date: 2011-03-24 11:01:15 Research Logic Knowledge Scale Modal logic Science Methodology Q methodology
254	W HYPER: Towards Automating Risk Assessment of Mobile Applications Rahul Pandita, Xusheng Xiao, Wei Yang, William Enck, Tao Xie North Carolina State University, Raleigh, NC, USA {rpandit, xxiao2, wei.yang}@ncsu.edu {enck Add to Reading List Source URL: www.enck.org Language: English Logic Speech recognition Information extraction Parsing Modal logic Linguistics Computational linguistics Natural language processing Science
255	TLP 10 (4–6): 675–690, C Cambridge University Press 2010 675 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:01 Model theory Modal logic Non-classical logic Temporal logic Kripke semantics Kripke structure Interpretation Stable model semantics Saul Kripke Logic Mathematical logic Philosophical logic
256	Formalising Abilities and Opportunities of Agents B. van Linder W. van der Hoek J.-J. Ch. Meyer Utrecht University Department of Computer Science P.O. Box, 3508 TB Utrecht The Netherlands Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Philosophy Modal logic Epistemology Causality Metaphysics Epistemic modal logic Intelligent agent Software agent Free will Logic Artificial intelligence Mathematical logic
257	Smaller Abstractions for ∀CTL∗ without Next? Kai Engelhardt1,2 and Ralf Huuck2,1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-10-07 02:12:02 Data management Interpretation Modal logic Symbol Linear temporal logic Logic Temporal logic Abstraction
258	A Generative Model for Parsing Natural Language to Meaning Representations Luke S. Zettlemoyer Wei Lu1 , Hwee Tou Ng1,2 , Wee Sun Lee1,2 1 CSAIL Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-26 20:13:47 Computational linguistics Speech recognition Cognitive science Semantics Analogy Modal logic N-gram Minimalist program Formal grammar Linguistics Science Logic
259	A Modal Representation of Strategic Reasoning Jan Broersen Rosja Mastop John-Jules Meyer Paolo Turrini Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2009-07-01 07:47:18 Mathematical logic Functions and mappings Interpretation Philosophy of language Philosophy of mind Semantics Function Uniform space Pareto efficiency Mathematics Logic Model theory
260	[44] M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, OctoberAppeared as technical report MMU-DOCM. Wooldridge and M Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:35:38 Kripke semantics Entailment Logic Philosophical logic Modal logic

UPDATE